symbolic models
英 [sɪmˈbɒlɪk ˈmɒdlz]
美 [sɪmˈbɑːlɪk ˈmɑːdlz]
网络 符号模型; 象徵性示范; 象征性示范
双语例句
- Symbolic Computation on the Soliton Solutions of Some Nonlinear Models
基于计算机符号计算的非线性模型孤子解研究 - Models of sentence and discourse comprehension from the linguistic, psychology, and artificial intelligence literature, including symbolic and connectionist models.
从语言学、心理学和人工智慧文献所建立的各种对句子和文章之理解模型，包括符号学和连接者模型。 - But the struggle to determine whether West Bengal's paddy fields yield up crops or cars is symbolic of something much bigger: the difficulty India has in emulating the manufacturing-led models of countries that have hauled themselves from poverty.
但有关西孟加拉邦稻田究竟是应该出产粮食还是生产汽车的纠纷，象征的是一个更大的问题：在效仿脱贫国家以制造业为主的模式时，印度所遭遇的困难。 - The five symbolic western aesthetic history books are written in three models: the objective, the subjective, the objective and subjective combined types.
西方的五大美学史著作呈现出三种写作模式：完全客观型、完全主观型和主客观调和中以客观史实为主型。 - A study on the symbolic constitution elements and its designing models
符号构成元素及其设计模式的探讨 - The main research objects of symbolic computation are the algebraization and mathematization of practical questions, which involves the creative construction of mathematical modeling, and the manipulation on the models with algorithmization of mathematical calculation and logical reasoning.
符号计算研究的主要对象是可代数化、数学化的实际问题，对现实问题进行创造性的数学建模，而对模型的处理需要算法化的数学计算与逻辑推理。 - With the swift development of the computerized symbolic computation, the analytic investigation on variable-coefficient nonlinear models in nonlinear sciences has become one important research direction in soliton theory, especially for the integrable property issue.
随着计算机符号计算的迅猛发展，在非线性科学中，基于符号计算的变系数模型的解析研究已逐渐成为孤子理论的重要研究方向之一，特别是关于变系数模型可积性质的研究备受关注。 - It is rather difficult to precisely and completely express packing problems using any single knowledge model such as mathematical model or symbolic models.
它很难用单一模式的知识模型（如数学模型）来精确表达。 - It is basically a lightweight symbolic execution technical, and may automatically extract finite models from sequential and concurrent C programs.
它本质上是一种轻量级的符号执行，能够自动抽象出顺序和并发C程序的有限状态模型，并基于模型检验方法进行验证。 - The research work of the dissertation mainly includes the following aspects: ① With the help of symbolic computation, the traditional bilinear method is extended to dealing with the more complicated higher-order and higher-dimensional nonlinear models.
具体包括如下几个方面：①基于计算机符号计算将传统的双线性求解方法进行推广，使其适合于求解更复杂的高维和高阶非线性模型。